Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
531	software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton State diagram State transition table State transition system Models of computation Theory of computation Automata theory
532	Single-shot fault-tolerant quantum error correction H´ector Bomb´ın Department of Mathematical Sciences, University of Copenhagen The development of efficient fault-tolerant quantum computing techniques is essential: Add to Reading List Source URL: www.quantum-lab.org Language: English - Date: 2014-11-28 23:31:35 Quantum mechanics Fault-tolerant computer systems Models of computation Condensed matter physics Quantum phases Quantum error correction Topological order Stabilizer code Quantum computer Theoretical computer science Quantum information science Physics
533	SOFTWARE – PRACTICE AND EXPERIENCE Softw. Pract. ExperPublished online in Wiley Online Library (wileyonlinelibrary.com). DOI: spe.2156 An environment for modeling and simulation of message-passing para Add to Reading List Source URL: www.cloudbus.org Language: English - Date: 2013-09-27 02:50:37 Computer architecture Models of computation Cloud computing Scheduling VM Computer cluster Packet switching Actor model Communications protocol Computing Concurrent computing Parallel computing
534	Topology Analysis of Car Platoons Merge with FujabaRT & TimedStoryCharts - a Case Study Christian Heinzemann1 , Julian Suck1 , Ruben Jubeh2 , Albert Z¨ undorf2 1 Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:16 Models of computation Diagrams UML diagrams Graph rewriting State diagram Topology Reachability Graph Graph theory Mathematics Theoretical computer science
535	Dedicated to the many bright young theoretical physicists that failed to escape the fate of having to work in institutions like banks. Preface New? In what sense? Surely I am not the only person who, after extensively Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2010-09-17 09:21:15 Classes of computers Models of computation Higher category theory Quantum field theory Topology Quantum computer Quantum mechanics Samson Abramsky Topological quantum computer Category theory Mathematics Physics
536	Quantum Merlin-Arthur Proof Systems: Are Multiple Merlins More Helpful to Arthur?∗ Hirotada Kobayashia b † Keiji Matsumotoa b ‡ Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2009-07-17 07:53:04 Quantum complexity theory Quantum information science Models of computation QMA Interactive proof system PP IP Soundness Quantum computer Theoretical computer science Applied mathematics Computational complexity theory
537	Flow-Sensitive Type Recovery in Linear-Log Time Michael D. Adams ∗ , Andrew W. Keep∗ , Jan Midtgaard† , Matthew Might‡ , Arun Chauhan∗ , R. Kent Dybvig∗ Abstract the cost of run-time type checks. This cost c Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-04-14 12:13:51 Models of computation Logic Mathematical logic Function Data-flow analysis Free variables and bound variables Algorithm Lambda calculus Monad Mathematics Elementary mathematics Theoretical computer science
538	A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-04 14:06:26 Model theory Relational model Query languages Models of computation FO Finite model theory Null Kripke semantics SQL Logic Mathematical logic Mathematics
539	Middlesex University Research Repository An open access repository of Middlesex University research http://eprints.mdx.ac.uk Berger, Martin and Tratt, LaurenceProgram logics for Add to Reading List Source URL: eprints.mdx.ac.uk Language: English - Date: 2015-04-30 10:24:49 Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Type theory Lambda calculus Model theory Modal logic Logic Theoretical computer science Mathematical logic

UPDATE